Transformation languages - PDFSEARCH.IO - Document Search Engine

Transformation languages
Results: 419

#	Item
41	CHANGE LOG xint v1.1adoc1a09n) . Add to Reading List Source URL: download.nus.edu.sg Language: English - Date: 2015-03-07 15:09:00 Macro programming languages Transformation languages Procedural programming languages C programming language Cross-platform software C preprocessor Macro TeX Make Computing Computer programming Software engineering
42	BRICS Basic Research in Computer Science BRICS RS-03-7 Brabrand et al.: The METAFRONT System: Extensible Parsing and Transformation Add to Reading List Source URL: www.brics.dk Language: English - Date: 2003-02-27 03:29:28 Computing LR parser Parsing Bottom-up parsing LL parser Top-down parsing Formal grammar Context-free grammar Terminal and nonterminal symbols Formal languages Software engineering Programming language implementation
43	ATL TRANSFORMATION EXAMPLE Ant to Maven Date Add to Reading List Source URL: www.eclipse.org Language: English - Date: 2014-03-11 12:14:26 Apache Ant Markup languages Technical communication Build automation XML Attribute HTML element EAR Apache Maven Computing Software Cross-platform software
44	CHANGE LOG xint v1.1adoc1a09n) . Add to Reading List Source URL: ctan.mirror.ac.za Language: English - Date: 2015-03-07 15:09:00 Macro programming languages Transformation languages Procedural programming languages C programming language Cross-platform software C preprocessor Macro TeX Make Computing Computer programming Software engineering
45	BRICS Basic Research in Computer Science BRICS RSO. Danvy: A New One-Pass Transformation into Monadic Normal Form A New One-Pass Transformation into Add to Reading List Source URL: www.brics.dk Language: English - Date: 2003-01-20 09:12:30 Functional languages APL programming language family J Symbol Lambda calculus Standard ML Software engineering Computing Computer programming
46	Macros and Examples Peter FurlanDefinition of Macros Macros are little pieces of drawing and can contain lines, texts and circles. These are Add to Reading List Source URL: ftp.rrze.uni-erlangen.de Language: English - Date: 2004-03-27 13:55:09 Software Transformation languages Assembly languages Computing Constant Macro
47	GUARDED TRANSFORMATION FOR THE MODAL µ-CALCULUS FLORIAN BRUSE, OLIVER FRIEDMANN, AND MARTIN LANGE Abstract. Guarded normal form requires occurrences of fixpoint variables in a µ-calculus-formula to occur under the scop Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2013-05-03 12:27:57 Mathematical logic Metalogic Well-formed formula Conjunctive normal form Polynomial Parity Physics Formal languages Logical syntax
48	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
49	FunctX: A Case Study in XML Processing Priscilla Walmsley Datypic XML Prague Add to Reading List Source URL: archive.xmlprague.cz Language: English - Date: 2009-05-31 05:38:05 Markup languages Functional languages 4GL XQuery XSLT XPath 2.0 XSL XPath XML transformation language Computing Web standards XML
50	XProc: An XML Pipeline Language Norman Walsh Sun Microsystems, Inc. Background XProc Development Add to Reading List Source URL: archive.xmlprague.cz Language: English - Date: 2009-05-31 05:37:57 XML pipeline XML XInclude Java API for XML Processing XPL XSLT XML transformation language Computing Markup languages XProc

UPDATE